Autonomous Ticking Clocks from Axiomatic Principles
نویسندگان
چکیده
There are many different types of time keeping devices. We use the phrase ticking clock to describe those which -- simply put "tick" at approximately regular intervals. Various important results have been derived for clocks, and more in pipeline. It is thus understand underlying models on these founded. The aim this paper introduce a new model from axiomatic principles that overcomes concerns community about physicality assumptions made previous models. [arXiv:1806.00491] achieves high accuracy, yet lacks autonomy less accurate [10.1103/PhysRevX.7.031022]. Importantly, we here best both models: it retains [10.1103/PhysRevX.7.031022] while allowing accuracies [arXiv:1806.00491]. What more, revealed be special case model.
منابع مشابه
Circadian Biology: Fibroblast Clocks Keep Ticking
Real-time cellular imaging of gene expression has revealed that fibroblasts contain a robust, self-sustained and cell-autonomous circadian oscillator, with a range of properties that both overlap and contrast with those of the neural clock of the suprachiasmatic nuclei.
متن کاملTicking time bombs: connections between circadian clocks and cancer
Connections between mammalian circadian and cell division cycles have been postulated since the early 20th century, and epidemiological and genetic studies have linked disruption of circadian clock function to increased risk of several types of cancer. In the past decade, it has become clear that circadian clock components influence cell growth and transformation in a cell-autonomous manner. Fu...
متن کاملDesign principles underlying circadian clocks.
A fundamental problem for regulatory networks is to understand the relation between form and function: to uncover the underlying design principles of the network. Circadian clocks present a particularly interesting instance, as recent work has shown that they have complex structures involving multiple interconnected feedback loops with both positive and negative feedback. While several authors ...
متن کاملThe Clocks Are Ticking: No More Delays! Reduction Semantics for Type Theory with Guarded Recursion
Guarded recursion in the sense of Nakano allows general recursive types and terms to be added to type theory without breaking consistency. Recent work has demonstrated applications of guarded recursion such as programming with codata, reasoning about coinductive types, as well as constructing and reasoning about denotational models of general recursive types. Guarded recursion can also be used ...
متن کاملApplications of axiomatic design principles: A literature review
Although there have been quite a number of theoretical and practical studies where axiomatic design (AD) principles have been used in the last few years, there is a lack of a comprehensive literature survey which evaluates and classifies these papers. This study provides a recognizable overview of literature on AD principles from the past 20 years and introduces a novel classification scheme co...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Quantum
سال: 2021
ISSN: ['2521-327X']
DOI: https://doi.org/10.22331/q-2021-01-17-381